mathematical induction problems in discrete mathematics